Petri Net-Based Specification of Cyber-Physical Systems Oriented to Control Direct Matrix Converters With Space Vector Modulation
نویسندگان
چکیده
منابع مشابه
Petri Net Based Behavioural Specification of CORBA Systems
CORBA is a standard proposed by the Object Management Group (OMG) in order to promote interoperability between distributed object systems. CORBA provides a programming-language neutral Interface Definition Language (IDL) that describes the syntactic aspects of services supported by remote objects. However, CORBA IDL does not provide any means to specify the behaviour of objects in an abstract a...
متن کاملRefinement of Petri-net-based System Specification
Abstract. For a discrete-event system specified as a labelled Petri net, locations of conditions are denoted as places with condition labels while locations of events are denoted as transitions with event labels. Very often, the same condition label or event label may appear in multiple locations in the system specification. Since every condition is finally implemented as a unique state and eve...
متن کاملSpecification of Cyber Physical Systems by Clock
With the rapid development of technology, now a brand new research area–Cyber Physical Systems (CPS) emerges. CPS are integrations of computing, communication and control systems, and it integrates with the physical world closely. Though it has influenced common life a lot, many problems still need to be solved when using the existing theories and technologies. Among the difficulties, the descr...
متن کاملSpecification of Cyber Physical Systems Based on Clock Theory
Cyber Physical Systems are integrations of computing, communication and control systems, and CPS make it possible to link the physical world and discrete world much more tightly and accurately. Though the appearance of CPS has triggered a great revolution to the electronic, information and internet technology, many problems still need to be solved when using the existing theories and technologi...
متن کاملFormal Specification for Transportation Cyber Physical Systems
Transportation cyber physical systems such as automotive, aviation, and rail involve interactions between software controllers, communication networks, and physical devices. These systems are among the most complex cyber physical systems being designed by humans, but added time and cost constraints make their development a significant technical challenge. Formal specification technologies are n...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2019
ISSN: 2169-3536
DOI: 10.1109/access.2019.2899316